The core model for almost linear iterations ( Preliminary version ) Ralf
نویسنده
چکیده
We introduce 0 | • (“zero hand-grenade”) as a sharp for an inner model with a proper class of strong cardinals. We prove the existence of the core model K in the theory “ZFC + 0 | • doesn’t exist,” and apply this to obtain an equiconsistency result.
منابع مشابه
The core model for almost linear iterations
We introduce 0 | • (“zero hand-grenade”) as a sharp for an inner model with a proper class of strong cardinals. We prove the existence of the core model K in the theory “ZFC + 0 | • doesn’t exist.” Combined with work of Woodin, Steel, and earlier work of the author, this provides the last step for determining the exact consistency strength of the assumption in the statement of the 12th Delfino ...
متن کاملEigenvalue calculator for Islanded Inverter-Based Microgrids
The stability analysis of islanded inverter-based microgrids (IBMGs) is increasingly an important and challenging topic due to the nonlinearity of IBMGs. In this paper, a new linear model for such microgrids as well as an iterative method to correct the linear model is proposed. Using the linear model makes it easy to analyze the eigenvalues and stability of IBMGs due to the fact that it derive...
متن کاملA scalable Helmholtz solver in GRAPES over large-scale multicore cluster
This paper discusses performance optimization on the dynamical core of global numerical weather prediction model in Global/Regional Assimilation and Prediction System (GRAPES). GRAPES is a new generation of numerical weather prediction system developed and currently used by Chinese Meteorology Administration. The computational performance of the dynamical core in GRAPES relies on the efficient ...
متن کاملInflation Behavior in Top Sukuk Issuing Countries: Using a Bayesian Log-linear Model
This paper focused on developing a model to study the effect of sukuk issuance on the inflation rate in top sukuk issuing Islamic economies at 2014. For this purpose, as the available sample size is small, a Bayesian approach to regression model is used which contains key supply and demand side factors in addition to the outstanding sukuk volume as potential determinants of inflation rate...
متن کاملComputing a block incomplete LU preconditioner as the by-product of block left-looking A-biconjugation process
In this paper, we present a block version of incomplete LU preconditioner which is computed as the by-product of block A-biconjugation process. The pivot entries of this block preconditioner are one by one or two by two blocks. The L and U factors of this block preconditioner are computed separately. The block pivot selection of this preconditioner is inherited from one of the block versions of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008